also meta-language (metalanguages)

1. [theorem proving] A language in which proofs are manipulated and tactics are programmed, as opposed to the logic itself (the "object language"). The first ML was the metalanguage for the Edinburgh LCF proof assistant. 2. [logic] A language in which to discuss the truth of statements in another language.

<World-Wide Web> An element, with tag name of "META", expressing meta-data about a given HTML document. HTML standards do not require that documents have META elements; but if META elements occur, they must be inside the document's HEAD element. The META element can be used to identify properties of a document (e.g., author, expiration date, a list of key words, etc.) and assign values to those properties, typically by specifying a NAME attribute (to name the property) and a CONTENT attribute (to assign a value for that property). The HTML 4 specification doesn't standardise particular NAME properties or CONTENT values; but it is conventional to use a "Description" property to convey a short summary of the document, and a "Keywords" property to provide a list of keywords relevant to the document, as in: <META NAME="Description" CONTENT="Information from around the world on kumquat farming techniques and current kumquat production and consumption data"> <META NAME="Keywords" CONTENT="kumquat, Fortunella"> META elements with HTTP-EQUIV and CONTENT attributes can simulate the effect of HTTP header lines, as in: <META HTTP-EQUIV="Expires" CONTENT="Tue, 22 Mar 2000 16:18:35 GMT"> <META HTTP-EQUIV="Refresh" CONTENT="10; URL=http://foldoc.org/"> Other properties may be application-specific. For example, the {Robots Exclusion (http://info.webcrawler.com/mak/projects/robots/norobots.html)}. standard uses the "robots" property for asserting that the given document should not be indexed by robots, nor should links in it be followed: <META NAME="robots" CONTENT="noindex,follow"> (2001-02-07)

META element

Meta elements are tags used in HTML and XHTML documents to provide structured metadata about a Web page.

A meta-analysis is a statistical analysis that combines the results of multiple scientific studies. Meta-analyses can be performed when there are multiple scientific studies addressing the same question, with each individual study reporting measurements that are expected to have some degree of error.

A metamodel or surrogate model is a model of a model, and metamodeling is the process of generating such metamodels. Thus metamodeling or meta-modeling is the analysis, construction and development of the frames, rules, constraints, models and theories applicable and useful for modeling a predefined class of problems.

Meta Linhas Aéreas (Formerly META - Mesquita Transportes Aéreos) was an airline based in Boa Vista, Roraima, Brazil, that operated domestic and international services to destinations in northern Brazil, Guyana, and Suriname. Its main base was Boa Vista-Atlas Brasil Cantanhede International Airport.